منابع مشابه
Choreography Synthesis as Contract Agreement
We propose a formal model for distributed systems, where each participant advertises its requirements and obligations as behavioural contracts, and where multiparty sessions are started when a set of contracts allows to synthesise a choreography. Our framework is based on the CO2 calculus for contract-oriented computing, and borrows concepts and results from the session type literature. It supp...
متن کاملAn Introduction to Umbrella Reviews
سخن سردبیر Editorial مجله دانشگاه علوم پزشکی رفسنجان دوره هجدهم، مهر 1398، 622-621 درآمدی بر مرور چتری An Introduction to Umbrella Reviews محسن رضائیان[1] M. Rezaeian آیونیدیس (Ioannidis) در سال 2009 میلادی توضیح روشنی از مرور چتری (Umbrella review) ارائه کرده است. وی توضیح می‌دهد که یک مرور چتری به طور نظام‌مند به جمع‌بندی و ارزشیابی نتایج حاصل از چندین مرور نظام‌مند و ی...
متن کاملHows and Whys of Reuter’s Agreement: From Contraction to Cancellation
This article is an attempt to survey the contraction and cancellation of the Reuter’s agreement as a one-sided approach and from special perspective, by using minimalistic ideology and with emphasis on multi-sided and various reasons and factors effective in the process of this contract. On the basis of this research, in this contraction, different factors came together and augmented one anoth...
متن کاملFrom Renaming to Set Agreement
The M -renaming problem consists in providing the processes with a new name taken from a new name space of size M . A renaming algorithm is adaptive if the size M depends on the number of processes that want to acquire a new name (and not on the total number n of processes). Assuming each process proposes a value, the k-set agreement problem allows each process to decide a proposed value in suc...
متن کاملFrom Orchestration to Choreography through Contract Automata
We study the relations between a contract automata and an interaction model. In the former model, distributed services are abstracted away as automata oblivious of their partners that coordinate with each other through an orchestrator. The interaction model relies on channel-based asynchronous communication and choreography to coordinate distributed services. We define a notion of strong agreem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Cambridge Law Journal
سال: 2008
ISSN: 0008-1973,1469-2139
DOI: 10.1017/s0008197308000081